Transformations of Nets

Transformations of Petri Nets

The aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the stepwise construction of Petri nets in the sense of the software development process in software engineering. The concept of Petri net transformations is based on that of graph transformations and hi...

Formal Transformations of Petri Nets

Orthogonal Transformations for Coloured Petri Nets

In this paper we describe a multirelational approach for performing linear algebraic manipulations of (coloured) Petri nets. In particular , we show how orthogonal transformations can be used in order to describe the net folding and unfolding operations.

Verifying Parameterized Recursive Circuits Using Semantics-preserving Transformations of Nets Verifying Parameterized Recursive Circuits Using Semantics-preserving Transformations of Nets

This report will present a theorem-proving method for verifying parametrized recursive circuits. The method is based on semantics-preserving transformations of nets (SPTNs). Its theoretical bases are an algebraic calculus introduced by G. Hotz in 1965 and the hardware description language 2dL based on this calculus. The starting point of our method is a high-level description using bi-category ...

Transformations of Applicable Conjugate Nets of Curves on Surfaces.

In a previous papert we developed the theory of transformations T of conjugate systems of curves on a surface into similar systems on other surfaces. In the present paper we are concerned with the application of these results to a particular class of conjugate systems, namely those which are applicable to one or more other systems. Thus if S and S are two surfaces upon which the corresponding c...